Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
291	CVC Lite: A New Implementation of the Cooperating Validity Che ker ? Category B Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-11-21 20:09:11 Well-formed formula Theory Theorem Logic Logical syntax Automated theorem proving
292	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:39:00 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
293	Towards a Worldwide Verification Technology Wolfgang Paul April[removed] Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-09-27 04:10:06 Logic in computer science Formal methods Logical syntax Formal sciences Mathematical logic Formal verification Isabelle Proof assistant KeY Logic Mathematics Theoretical computer science
294	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2003-06-07 19:12:08 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
295	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
296	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
297	A LOGICAL CALCULUS OF MEANING AND SYNONYMY YIANNIS N. MOSCHOVAKIS In his development of formal semantics for natural language Montague [1970a]– Montague [1973],1 Richard Montague modeled the meaning (Frege’s sense) Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2004-12-13 19:38:56 Computability theory Functions and mappings Predicate logic Logical syntax Lambda calculus Function Interpretation Free variables and bound variables Variable Mathematics Logic Elementary mathematics
298	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:36:27 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
299	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
300	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics

UPDATE